$\forall$$g$:OGrp. e $\in$ $\mid$$g$$\mid^{+}$